serial predicates